epistemic logic造句

• On some problems in the research on epistemic logic
  试论认知逻辑研究中的若干问题
• Epistemic logic : on the decidability of epistemic logic
  关于认识逻辑的可判定性
• Epistemic logic : a logical framework for knowledge and belief
  全知性和真知性
• Reasoning inconsistency among viewpoints using temporal epistemic logic
  多视点间不一致性的认知推理
• Self - belief epistemic logics
  自信性认知逻辑
• Bounded model checking for temporal epistemic logic in synchronous multi - agent systems
  有界模型检测同步多智体系统的时态认知逻辑
• The semantics of this logic are given in terms of a general model of multi - agent system , closely related to the interpreted systems of epistemic logic
  该逻辑的语义是以一般的多agent系统模型给出的，并且与认知逻辑的解释系统密切相关。
• The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called el , which can avoid the logical omniscience , and gives its semantic rules and its axioms
  摘要分析认知逻辑中的逻辑全知问题及其解决方法，提出一种可以避免逻辑全知的认知逻辑el ，并给出其语义和公理系统。
• This paper introduces a new methodology that uses - it knowledge structures , a specific form of kripke semantics for epistemic logic , to analyze communication protocols over hostile networks . the paper particularly focuses on automatic verification of authentication protocols . our approach is based on the actual definitions of a protocol , not on some difficult - to - establish justifications
  认知逻辑的kripke语义已经被成功应用到通信协议的推理分析中例如,交替位协议alternating bit protocol的分析,及最近的对tcp的分析.因为信息交换本质上可以看成是个认知过程,用认知逻辑可以很方便地表达